// JavaScript for the menu is located in js/tidy.js